- descending factorial
- убывающий факториал
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Pochhammer symbol — In mathematics, the Pochhammer symbol introduced by Leo August Pochhammer is the notation (x)n, where n is a non negative integer. Depending on the context the Pochhammer symbol may represent either the rising factorial or the falling factorial… … Wikipedia
Memoization — Not to be confused with Memorization. In computing, memoization is an optimization technique used primarily to speed up computer programs by having function calls avoid repeating the calculation of results for previously processed inputs.… … Wikipedia
Standard ML — Infobox programming language name = Standard ML logo = paradigm = multi paradigm: functional, imperative year = designer = typing = strong, static, inferred dialects = Alice, Dependent ML implementations = MLton, MLWorks, Moscow ML, Poly/ML,… … Wikipedia
ML (programming language) — ML Paradigm(s) multi paradigm: imperative, functional Appeared in 1973 Designed by Robin Milner others at the University of Edinburgh Typing discipline static, strong, inferred … Wikipedia
Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) … Wikipedia
Termination analysis — In computer science, a termination analysis is program analysis which attempts to determine whether the evaluation of a given program will definitely terminate. Because the halting problem is undecidable, termination analysis cannot work… … Wikipedia
number game — Introduction any of various puzzles and games that involve aspects of mathematics. Mathematical recreations comprise puzzles and games that vary from naive amusements to sophisticated problems, some of which have never been solved.… … Universalium
Optimality theory — (frequently abbreviated OT) is a linguistic model proposing that the observed forms of language arise from the interaction between conflicting constraints. OT models grammars as systems that provide mappings from inputs to outputs; typically, the … Wikipedia
Method ringing — (also known as scientific ringing) is a form of change ringing (the practice of ringing a series of mathematical permutations on tuned bells, rather than a melody). In method ringing, the ringers are guided from permutation to permutation by… … Wikipedia
Change ringing — Triples redirects here. For other uses, see Triple (disambiguation). Bell ringing practice in Stoke Gabriel parish church, Devon, England Change ringing is the art of ringing a set of tuned bells in a series of mathematical patterns called… … Wikipedia
Glossary of ring theory — Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject. Contents 1 Definition of a ring 2 Types of… … Wikipedia